Test Input Data Generation for Choiceless Program Nets
نویسندگان
چکیده
منابع مشابه
Mutation-optimised subdomains for test data generation and program analysis
Software testing is an important part of the development process it consumes a large proportion of the labour resources required to produce a working program. Yet it is not usually possible to show that a program is completely free from faults. Instead, techniques are applied to assess the effectiveness of software testing; they provide confidence in its adequacy and act as a benchmark for its ...
متن کاملTest Input Generation for Programs with Pointers
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, symbolic execution can be used to automatically generate a set of test inputs that achieves high code coverage. However, most state-of-the-art symbolic execution approaches cannot directly handle programs whose inputs ar...
متن کاملConnecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation
We prove that certain formulations of program synthesis and reachability are equivalent. Specifically, our constructive proof shows the reductions between the template-based synthesis problem, which generates a program in a pre-specified form, and the reachability problem, which decides the reachability of a program location. This establishes a link between the two research fields and allows fo...
متن کاملAutomated Test Case Generation using Petri Nets
Software testing is the process of determining the precision, quality, completeness and security of the software systems. An important step in testing software is the generation of test cases, whose quality plays a vital role in determining the time for testing and subsequently its cost. In this research, it is shown that both structural and behavioural diagrams can be used to represent specifi...
متن کاملContributions to Program - and Specification - based Test Data Generation
Software testing is complex and time consuming. One way to reduce testing effort is to automatically generate test data. In the first part of this thesis we consider a framework by Gupta et al. for generating tests from programs. In short, their approach consists of a branch predicate collector, which derives a system of linear inequalities representing an approximation of the branch predicates...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ECTI Transactions on Computer and Information Technology (ECTI-CIT)
سال: 2020
ISSN: 2286-9131,2286-9131
DOI: 10.37936/ecti-cit.2020141.197859